退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:纯函数懒惰非确定性规划
Sebastian Fischer; Chung-chieh Shan;
机译:纯函数式惰性非确定性编程
机译:具有不确定的惰性函数和内置谓词的函数一阶逻辑程序的证明过程
机译:纯函数惰性非确定性编程
机译:具有减少语义的完全懒散的高阶纯函数编程语言。
机译:IRI-DICE假设:低剂量下电离辐射诱导的DSB可能对不确定性反应具有功能性作用
机译:纯粹功能性的懒惰非确定性编程
机译:并发环境中懒函数程序的代数规范与仿真
机译:同步脚本懒惰加载系统,同步脚本懒惰加载方法以及记录有用于实现相同功能的程序的计算机可读记录介质
机译:氧化胺-聚合物-含有纯水性成分且具有良好涂膜功能的玻璃-/ kratz图像末端性能
机译:在空间上-机械或。纯电子的-电路功能设备(功能单元),任意侵犯数字(n)或laufkloetze。 “个别元素”以电子方式产生。手动排列成n](n个fakultaet)个彼此的置换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。